Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

Energieeffiziente Sensoren / Systeme im Internet der Dinge Martin Jaegle, Kilian Bartholomé, Jan König, Markus Bartel, Ulrike Nussel, Jan Horzella, Roland Binninger,

Source URL: www.connect-dreilaendereck.com

1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider

Source URL: www.cs.uni-potsdam.de

• Logic programming
• NP-complete problems
• Operations research
• Constraint programming
• Answer set programming
• Logic in computer science
• Boolean satisfiability problem
• Algorithm
• Solver
• Stable model semantics
• AMPL
• Constraint satisfaction problem

On the additive and multiplicative adversary methods Lo¨ıck Magnin∗,† Martin Roetteler† J´er´emie Roland†

Source URL: qip2011.quantumlah.org

WAAR KOMT DAT TEKORT VAN HET ABP VANDAAN? — PAS OP, EET HET PENSIOEN VAN UW KINDEREN NIET OP! Martin Pikaart1 en Roland van Gaalen

Source URL: www.pensioenmythe.nl

NULL CONTROLLABILITY FOR PARABOLIC EQUATIONS WITH DYNAMIC BOUNDARY CONDITIONS OF REACTIVE-DIFFUSIVE TYPE LAHCEN MANIAR, MARTIN MEYRIES, AND ROLAND SCHNAUBELT Abstract. We prove null controllability for linear and semilin

Source URL: www.math.kit.edu

Systeemtoezicht (ST) in de zorg NOVEMBER 2014 Annemiek Stoopendaal Roland Bal, Paul Robben, Martin de Bree

Source URL: kennisagendarijksinspecties.nl

Systeemtoezicht (ST) in de zorg NOVEMBER 2014 Annemiek Stoopendaal Roland Bal, Paul Robben, Martin de Bree

Source URL: www.kennisagendarijksinspecties.nl

Session 7 Learning From Others: Learning in a Social Context Developed by Linda Darling-Hammond, Kim Austin, Suzanne Orcutt, and Daisy Martin With Contributions From Roland Tharp and Annmarie Palincsar Stanford Universit

Source URL: www.learner.org

• Philosophy of education
• Curricula
• Education reform
• Reciprocal teaching
• Cooperative learning
• Zone of proximal development
• Jigsaw
• E-learning
• Teacher
• Education
• Educational psychology
• Pedagogy

[removed]Namen und Nachrichten 23 Das Bläserquintett des MHH-Symphonieorchesters (von links): Gesine Scharf, Roland Seifert, Martin Neubauer, Christian Schultze-Florey und Astrid Behnert.

Source URL: www.mh-hannover.de